Project
Team
Espresso
Overall Objectives
Scientific Foundations
Software
New Results
- Polychrony as open-source toolset
- New features of Polychrony
- Extensions of the language and the model
- Source to source traceability in Polychrony
- A simulation infrastructure for CCSL, the timing model of UML MARTE
- The CESAR demonstrator and reference technology platform
- Modeling AADL in a polychronous model of computation
- Composing Simulink and AADL
- From affine-related dataflow models to Safety-critical Java
- Translation validation of Polychronous Equations with an iLTS Model-checker
- PDSs for translation validation: from SIGNAL to C
- Synchronous symbolic translation systems for translation validation
- An integrated environment for Esterel/Quartz and Polychrony/Signal
- Quality assessment and qualification of Polychrony on the open-source Polarsys IWG platform
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project
Team
Espresso
Overall Objectives
Scientific Foundations
Software
New Results
- Polychrony as open-source toolset
- New features of Polychrony
- Extensions of the language and the model
- Source to source traceability in Polychrony
- A simulation infrastructure for CCSL, the timing model of UML MARTE
- The CESAR demonstrator and reference technology platform
- Modeling AADL in a polychronous model of computation
- Composing Simulink and AADL
- From affine-related dataflow models to Safety-critical Java
- Translation validation of Polychronous Equations with an iLTS Model-checker
- PDSs for translation validation: from SIGNAL to C
- Synchronous symbolic translation systems for translation validation
- An integrated environment for Esterel/Quartz and Polychrony/Signal
- Quality assessment and qualification of Polychrony on the open-source Polarsys IWG platform
Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Previous | 
Home